|
|
Analýza cen zámečnických konstrukcí v ceně objektu
Konečný, Jan ; Výskala, Miloslav (oponent) ; Aigel, Petr (vedoucí práce)
První část této diplomové práce, která je více teoretická, obsahuje informace, týkající se cen obecně, rozpočtů ve stavebnictví, kalkulací stavebních prací a materiálů a nákladů. V druhé části jsou popsány používané materiály, jejich vlastnosti, povrchové úpravy a analýzy vybraných zámečnických konstrukcí.
|
|
|
Pokročilá statická analýza výkonnosti v nástroji Meta Infer
Pavela, Ondřej ; Rogalewicz, Adam (oponent) ; Vojnar, Tomáš (vedoucí práce)
Looper is a static complexity analysis tool for inference of tight upper bounds on the exe- cution cost of programs. It is based on the previously existing Loopus tool which used abstract program model of difference constraints (inequalities of the form + ), which allows for natural abstraction of common loop counter updates = + + and = + 0. Looper was initially proposed and implemented in author’s bachelor’s thesis as a checker for the Meta Infer framework but the tool failed to meet the expectations when tested on real-world code. This master’s thesis proposes a new improved version of Looper that aims at solving the main limitations of the original tool, namely through introduction of interprocedural analysis. Additionally, various extensions target- ing improved precision of the intraprocedural analysis, such as new abstraction algorithm, handling of compound loop conditions and more, were implemented. Moreover, logging, issue reporting and collection of results has been significantly improved. Finally, through extensive experiments with the new Looper version, the ability to analyze real-world code in a more general, scalable and precise way was shown.
|
|
|
Ceny a náklady v likvidační fázi životního cyklu stavby
Smolinská, Radka ; Výskala, Miloslav (oponent) ; Aigel, Petr (vedoucí práce)
Cílem práce je vymezit základní pojmy používané při demolicích, postupy a technologie, které jsou využívány při odstraňování staveb. Tato práce dále popisuje současnou praxi při demoličních projektech a cenotvorbu demolic. Na základě realizovaných projektů je zpracována analýza cen a nákladů v likvidační fázi životního cyklu stavby a provedeno srovnání s ceníkovými cenami.
|
|
|
Analýza cen zámečnických konstrukcí v ceně objektu
Konečný, Jan ; Výskala, Miloslav (oponent) ; Aigel, Petr (vedoucí práce)
První část této diplomové práce, která je více teoretická, obsahuje informace, týkající se cen obecně, rozpočtů ve stavebnictví, kalkulací stavebních prací a materiálů a nákladů. V druhé části jsou popsány používané materiály, jejich vlastnosti, povrchové úpravy a analýzy vybraných zámečnických konstrukcí.
|
|
| |
host ::
RSS.